I manoscritti dell'abate Galiani.--Catalogo sistematico dei manoscritti dell'abate Galiani.--Intorno al terzo dei Libri della Biccherna.--Due recensioni.--Groce, B. I manoscritti dell'abate Galiani.--Nicolini, B. Profilo di Fausto Nicolini archivista.

Team semantics is a highly general framework for logics which describe dependencies and independencies among variables. Typically, the dependencies considered in this context are properties of sets of configurations or data records. We show how team semantics can be further generalized to support languages for the discussion of interventionist counterfactuals and causal dependencies, such as those that arise in manipulationist theories of causation. We show that the “causal teams” we introduce in the present paper can be used for modelling some (...) classical counterfactual scenarios which are not captured by the usual causal models. We then analyse the basic properties of our counterfactual languages and discuss extensively the differences with respect to the Lewisian tradition. (shrink)

A uniform carbon tax with equal per capita dividends is usually advocated as a cost-effective way of reducing greenhouse gas (GHG) emissions without increasing, and in many cases even reducing, economic inequality, in particular because of the positive balance between the carbon taxes paid by the worse off and the carbon dividends they receive back. In this article, I argue that a uniform carbon tax reform is unjust regardless of how the revenue is used, because it does not discourage the (...) rich from indulging in wasteful emissions. This is at odds with a normative account of the distribution of the GHG budget that I define as emissions limitarianism, which is a climate derivative of economic limitarianism. Emissions limitarianism holds that, under low GHG budget conditions, emissions permits should not be used to achieve functionings that over-consume the GHG budget without producing significant welfare gains relative to the achievement of alternative functionings. Accordingly, I argue that a uniform carbon tax should be complemented by a limitarian carbon tax, which restricts the capabilities of the rich to achieve wasteful emission-generating functionings. The article adopts a methodological multi-level perspective on capabilities as a measure of welfare, distinguishing between basic, secondary and tertiary capabilities. (shrink)

In this article, I maintain that the social process of labour commodification, through which the individual capability to uphold a decent welfare is bound to participation in the labour market, poses a problem of justice from the republican prospective on freedom as non-domination. I first discuss the reasons we might hold that capitalism brings a form of systemic domination by virtue of one of its intrinsic features: unequal access to the means of production. Then, I argue for a minimum de-commodification (...) of labour power as a criterion of justice, adding that it should be conceived as a cosmopolitan proviso because states unfairly suffer from their limited economic capacity to neutralize capitalist systemic domination. Lastly, I compare the normative account of global justice that I am proposing in this article with sufficientarianism, with the capability approach, and with Thomas Pogge’s ‘Global Resources Dividend’. (shrink)

We analyze the behaviour of declarations of independence between existential quantifiers in quantifier prefixes of Independence-Friendly (IF) sentences; we give a syntactical criterion to decide whether a sentence beginning with such prefix exists, such that its truth values may be affected by removal of the declaration of independence. We extend the result also to equilibrium semantics values for undetermined IF sentences.

Given current data, only a few binary Boolean operators are expressed in lexically simple fashion in the world's languages: and, or, nor. These do not occur in every combination, for example, nor is not observed by itself. To explain these cross‐linguistic patterns, we propose an encoding of Boolean operators as update procedures to accept or reject information in a context. We define a measure of conceptual simplicity for such updates, on which attested operators are conceptually simpler than the remaining Booleans. (...) Moreover, we show that language evolution selects for the attested lexical inventories by minimizing the complexity of using a lexical inventory compositionally to convey precise information. (shrink)

Should those who get dirty hands always be punished in the same way? Must their punishment be regardless of the background elements that determined the DH dilemma, which has polluted their morality? This paper holds that common arguments in favour of punishing DH overlook the important difference between classic DH dilemmas that are structurally inescapable and those that are caused by a collective action problem. My thesis emphasizes that in talking about DH, our analysis should go beyond the structure of (...) the dilemma. We should also take into serious consideration the background dynamics that made the choice between two evils inevitable. (shrink)

This book evaluates how the pragmatist notion of habit can influence current debates at the crossroads between philosophy, cognitive sciences, neurosciences, and social theory. It deals with the different aspects of the pragmatic turn involved in 4E cognitive science and traces back the roots of such a pragmatic turn to both classical and contemporary pragmatism. Written by renowned philosophers, cognitive scientists, neuroscientists, and social theorists, this volume fills the need for an interdisciplinary account of the role of 'habit'. Researchers interested (...) in the philosophy of mind, cognitive science, neuroscience, psychology, social theory, and social ontology will need this book to fully understand the pragmatist turn in current research on mind, action and society. (shrink)

Band 1. Über Metaphilosophie -- Band 2. Untersuchungen über die Formen der Mathesis.

A dichotomy result of Sevenster (2014) [29] completely classified the quantifier prefixes of regular Independence-Friendly (IF) logic according to the patterns of quantifier dependence they contain. On one hand, prefixes that contain “Henkin” or “signalling” patterns were shown to characterize fragments of IF logic that capture NP-complete problems; all the remaining prefixes were shown instead to be essentially first-order. In the present paper we develop the machinery which is needed in order to extend the results of Sevenster to non-prenex, regular (...) IF sentences. This involves shifting attention from quantifier prefixes to a (rather general) class of syntactical tree prefixes. We partially classify the fragments of regular IF logic that are thus determined by syntactical trees; in particular, a) we identify four classes of tree prefixes that are neither signaling nor Henkin, and yet express NP-complete problems and other second-order concepts; and b) we give more general criteria for checking the first-orderness of an IF sentence. (shrink)

We analyze the expressive resources of \ logic that do not stem from Henkin quantification. When one restricts attention to regular \ sentences, this amounts to the study of the fragment of \ logic which is individuated by the game-theoretical property of action recall. We prove that the fragment of prenex AR sentences can express all existential second-order properties. We then show that the same can be achieved in the non-prenex fragment of AR, by using “signalling by disjunction” instead of (...) Henkin or signalling patterns. We also study irregular IF logic and analyze its correspondence to regular IF logic. By using new methods, we prove that the game-theoretical property of knowledge memory is a first-order syntactical constraint also for irregular sentences, and we identify another new first-order fragment. Finally we discover that irregular prefixes behave quite differently in finite and infinite models. In particular, we show that, over infinite structures, every irregular prefix is equivalent to a regular one; and we present an irregular prefix which is second order on finite models but collapses to a first-order prefix on infinite models. (shrink)

It is well known that AI-based language technology—large language models, machine translation systems, multilingual dictionaries, and corpora—is currently limited to three percent of the world’s most widely spoken, financially and politically backed languages. In response, recent efforts have sought to address the “digital language divide” by extending the reach of large language models to “underserved languages.” We show how some of these efforts tend to produce flawed solutions that adhere to a hard-wired representational preference for certain languages, which we call (...) language modeling bias. Language modeling bias is a specific and under-studied form of linguistic bias were language technology by design favors certain languages, dialects, or sociolects with respect to others. We show that language modeling bias can result in systems that, while being precise regarding languages and cultures of dominant powers, are limited in the expression of socio-culturally relevant notions of other communities. We further argue that at the root of this problem lies a systematic tendency of technology developer communities to apply a simplistic understanding of diversity which does not do justice to the more profound differences that languages, and ultimately the communities that speak them, embody. Drawing on the concept of epistemic injustice, we point to the broader ethico-political implications and show how it can lead not only to a disregard for valuable aspects of diversity but also to an under-representation of the needs of marginalized language communities. Finally, we present an alternative socio-technical approach that is designed to tackle some of the analyzed problems. (shrink)

From birth to 15 months infants and caregivers form a fundamentally intersubjective, dyadic unit within which the infant’s ability to recognize gender/sex in the world develops. Between about 18 and 36 months the infant accumulates an increasingly clear and subjective sense of self as female or male. We know little about how the precursors to gender/sex identity form during the intersubjective period, nor how they transform into an independent sense of self by 3 years of age. In this Theory and (...) Hypothesis article I offer a general framework for thinking about this problem. I propose that through repetition and patterning, the dyadic interactions in which infants and caregivers engage imbue the infant with an embodied, i.e., sensori-motor understanding of gender/sex. During this developmental period (which I label Phase 1) gender/sex is primarily an intersubjective project. From 15 to 18 months (which I label Phase 2) there are few reports of newly appearing gender/sex behavioral differences, and I hypothesize that this absence reflects a period of developmental instability during which there is a transition from gender/sex as primarily inter-subjective to gender/sex as primarily subjective. Beginning at 18 months (i.e., the start of Phase 3), a toddler’s subjective sense of self as having a gender/sex emerges, and it solidifies by 3 years of age. I propose a dynamic systems perspective to track how infants first assimilate gender/sex information during the intersubjective period (birth to 15 months); then explore what changes might occur during a hypothesized phase transition (15 to 18 months), and finally, review the emergence and initial stabilization of individual subjectivity-the period from 18 to 36 months. The critical questions explored focus on how to model and translate data from very different experimental disciplines, especially neuroscience, physiology, developmental psychology and cognitive development. I close by proposing the formation of a research consortium on gender/sex development during the first 3 years after birth. (shrink)

In (Barbero and Sandu 2020 Journal of Philosophical Logic, 50, 471-521), we showed that languages encompassing interventionist counterfactuals and causal notions based on them (as e.g. in Pearl’s and Woodward’s manipulationist approaches to causation) as well as information-theoretic notions (such as learning and dependence) can be interpreted in a semantic framework which combines the traditions of structural equation modeling and of team semantics. We now present a further extension of this framework (causal multiteams) which allows us to talk about probabilistic (...) causal statements. We analyze the expressivity resources of two causal-probabilistic languages, one finitary and one infinitary. We show that many causal-probabilistic notions from the literature on causal inference can already be expressed in the finitary language, and we prove a normal form theorem that throws a new light on Pearl’s “ladder of causation”. In addition, we provide an exact semantic characterization of the infinitary language, which shows that this language captures precisely those causal-probabilistic statements that do not commit us to any specific interpretation of probability; and we prove that no usual, countable language is apt for this task. (shrink)

This thought-provoking book analyses the process of labour commodification, through which the individual’s ability to earn a basic living becomes dependent on the conditions of the market relationship. Building on the premise that the separation of a group of individuals from the means of production is an intrinsic element of capitalism, Fausto Corvino theorises that this implies a form of domination in a neo-republican sense. -/- Proposing an original theory of global justice denoted as a minimum de-commodification of labour (...) power, this book explains the ways in which this cosmopolitan principle resists the criticisms that are commonly advanced against classic theories of global justice and charts a theory falling between the neo-republican and labour republican approaches. It stimulates the debate on, and moral critique of, capitalism and the obstacles it poses to individual freedoms, with a focus on exploitation and domination. -/- Global Justice, Markets and Domination will be a key resource for students and scholars researching capitalism and analytical Marxism, political economics and human rights. It will also be of benefit to those interested in theories of global and distributive justice and the economic implications of the neo-republican theory of freedom as non-domination. (shrink)

Als im Jahr 1992 die Frage aufgeworfen wurde, ob der französische Philosoph Jacques Derrida den Ehrendoktortitel der University of Cambridge verliehen bekommen sollte, lehnte ein Teil der Jury-Mitglieder die Vergabe ab. Man könne nicht, so hieß es damals, einen Denker würdigen, der in seinen Schriften vormalig Gedankenspiele inszeniere und »überall seine eigenen Urteile wieder umstößt«. Die zuletzt zitierten Worte wurden so nicht geäußert, da sie aus dem dritten Jahrhundert von dem griechischen Philosophen Porphyrius stammten und gegen den 〉theoretischen Gründungsvater〈 des (...) Christentums, Paulus, gerichtet waren. Porphyrius war in seiner Kritik an Paulus nicht weniger kleinlich als die oben erwähnten Jurymitglieder. Es sei die Inkohärenz eines Denkens, das er bei Paulus kritisiere und das »jeder Bildung entbehre«. Denn »beinahe wie ein Schwert wetzt er [Paulus] seine Zunge und zerstückelt ohne Schonung die Glieder des Gesetzes, er, der an vielen Stellen den Gehorsam gegen das Gesetz eingeschärft und das Leben nach demselben für lobenswert erklärt hat.«. (shrink)

the domain of Art critique and becoming a philosophical argument. How can we think of Perspective as symbolic Form? Is Perspective really a symbolic form? Why is Perspective so important? Because at the beginning of the Modern Age, Perspective as spiritual figure grounds many symbolic or even many scientific constructions. We could we say that perspective open the foundation of modern science as such. The “Geometrization” of Vision, beginning with perspective, will be for us the interpretative key in order to (...) understand the Modern Age as a whole. This understanding will allow us to understand the anthropologic dimension arising from the Modern Age, called „Perspectivism“. Assuming that perspective was neither only an invention of painting nor of geometry nor of philosophy, taken as singular fields of human inquiry, we will try to sketch the genesis of “perspective” from an interdisciplinary point of view. By doing so, we will also try to fix its deep significance for the anthropology of the Modern Age. Living and feeling in a perspectival world is the real invention of the Modern Age, one that overcame the closed Cosmos of the Middle Ages in order to reveal to mankind its own potential. Our interdisciplinary approach will proceed from many points of view and converge on the idea of a new kind of human experience. Such an interdisciplinary approach will open new questions about our present time. Are we justified in thinking of our experience today as perspectival? What does it mean today to think from perspectives in the manifold dimensions of our living and to face to the complexity of our times? (shrink)

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.

In this article I hold that utilitarians are wrong to want to disaggregate climate- induced harm, whether in terms of chaotic or linear causality. This is not because individual emissions do not count, in probabilistic terms, for risk projections of overall climate dam- age, rather because individual emissions only contribute to increasing atmospheric CO2 concentration if the anthropogenic flow of CO2 exceeds the amount of CO2 that can be naturally taken up by the biosphere, over a given time segment. I (...) therefore maintain that individual climate duties consist of reforming the social and technological structures that make each individual emission part of a collective phenomenon, global warming, which leads to an enormous global disutility, climate change. In the final part of the article, I ar- gue that utilitarian ethics would have much more to say if, instead of focusing on the dis- aggregation of climate-induced harm, it addressed the key issues of the energy transition, i.e. carbon pricing, research and development in green technologies and climate finance. (shrink)